21. CONCUR'90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : Proceedings
پدیدآورنده : J.C.M. Baeten, J.W. Klop, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
458
22. CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory-- Congresses,، Parallel processing )Electronic computers(-- Congresses
رده :
QA
267
.
C5927
1990
23. Checking Experiments in Sequential Machines
پدیدآورنده : Asok Bhattacharyya
موضوع : Fault tolerant computing,Sequential machine theory,Electronic digital computers-Testing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
24. Classical and quantum computation,Klassicheskie i kvantovye vychisleniiIa.
پدیدآورنده : Kitaev, Alexei Yu
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Machine theory,، Computational complexity,، Quantum computers
رده :
QA
267
.
K578
2002
25. Computacion & informatica hoy
پدیدآورنده : George Beekman
کتابخانه: Library of Institute of Geophysics University of Tehran (Tehran)
موضوع : Computers,Machine theory
رده :
QA
76
.
M6
.
C6
26. Computation of Language: An Essay on Syntax, Semantics and Pragmatics in Natural Man- Machine Communication
پدیدآورنده : Roland Hausser
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Artificial Intelligence,Programming Lnguage (Electronic Computers),Machine Theory
رده :
Q
،
335
،.
H39
،
1989
27. Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication
پدیدآورنده : Hausser, Roland R.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Artificial intelligence,، Programming languages )Electronic computers(,، Machine theory
رده :
Q
335
.
H39
1989
28. Concurrency theory :calculi and automata for modelling untimed and timed concurrent systems. ]CD[
پدیدآورنده : Bowman, Howard,Howard Bowman and Rodolfo Gomez
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : Mathematical models ، Parallel processing )Electronic computers(,، Machine theory,، LOTOS )Computer program language(
29. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
30. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
31. Handbook of process algebra
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
H335
2001
32. Handbook of process algebra
پدیدآورنده : edited by J.A. Bergstra, A. Ponse, S.A. Smolka
کتابخانه: (Mazandaran)
موضوع : Machine theory,Parallel processing )Electronic computers(
رده :
QA
.
H335
267
2001
33. Handbook of process algebra
پدیدآورنده : edited by J.A. Bergstra, A. Ponse, S.A. Smolka
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(
رده :
QA
267
.
H266
34. Hybrid Computational Intelligence: Research and Applications
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : COMPUTERS / Machine Theory ; COMPUTERS / Software Development and Engineering / Systems Analysis and Design ; TECHNOLOGY and ENGINEERING / Electrical ; TECHNOLOGY and ENGINEERING / Electronics / General ;
35. Linear sequential circuits; analysis, synthesis, and applications
پدیدآورنده : Gill, Arthu
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Sequential machine theory,، Electronic digital computers
رده :
TK
7888
.
3
.
G5
36. Linear sequential circuits:analysis synthesis & applications
پدیدآورنده : GILL,ARTHUR
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : SEQUENTIAL MACHINE-THEORY , ELECTRONIC DIGITAL COMPUTERS
رده :
TK
7888
.
3
.
G5
37. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
38. Mathematical foundations of computer science 1995
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Machine theory- Congresses,Formal languages- Congresses,Programming )Electronic computers(- Congresses
39. Mathematical foundations of computer science, 1980: Proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Data base management-- Congresses,، Machine theory-- Congresses
رده :
QA
76
.
6
.
S9194
1980
40. Mathematical foundations of computer science 1977. Proceedings, 6th Symposium. Tatranska Lonmica, September 5-9, 1977
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
M37